DARTE, ALAIN: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Generalized multipartitioning of multi-dimensional arrays for parallelizing line-sweep computations

Alain Darte, John Mellor-Crummey, Robert Fowler, Daniel Chavarrı́a-Miranda

Journal:

Journal of Parallel and Distributed Computing

Year:

2003

Language:

english

File:

PDF, 546 KB

english, 2003

2

[IEEE 2009 7th Annual IEEE/ACM International Symposium on Code Generation and Optimization (CGO) - Seattle, WA, USA (2009.03.22-2009.03.25)] 2009 International Symposium on Code Generation and Optimization - Revisiting Out-of-SSA Translation for Correctness, Code Quality and Efficiency

Boissinot, Benoit, Darte, Alain, Rastello, Fabrice, de Dinechin, Benoit Dupont, Guillon, Christophe

Year:

2009

Language:

english

File:

PDF, 283 KB

english, 2009

3

Studying Optimal Spilling in the Light of SSA

Colombet, Quentin, Brandner, Florian, Darte, Alain

Journal:

ACM Transactions on Architecture and Code Optimization

Year:

2015

Language:

english

File:

PDF, 1.74 MB

english, 2015

4

Mapping uniform loop nests onto distributed memory architectures

Alain Darte, Yves Robert

Journal:

Parallel Computing

Year:

1994

Language:

english

File:

PDF, 1.49 MB

english, 1994

5

Erratum to: Regular partitioning for synthesizing fixed-size systolic arrays

Journal:

Integration, the VLSI Journal

Year:

1992

Language:

english

File:

PDF, 86 KB

english, 1992

6

(Pen)-ultimate tiling?

Pierre Boulet, Alain Darte, Tanguy Risset, Yves Robert

Journal:

Integration, the VLSI Journal

Year:

1994

Language:

english

File:

PDF, 910 KB

english, 1994

7

On the complexity of loop fusion

Journal:

Parallel Computing

Year:

2000

Language:

english

File:

PDF, 315 KB

english, 2000

8

Plugging anti and output dependence removal techniques into loop parallelization algorithm

Pierre-Yves Calland, Alain Darte, Yves Robert, Frédéric Vivien

Journal:

Parallel Computing

Year:

1997

Language:

english

File:

PDF, 927 KB

english, 1997

9

Loop parallelization algorithms: From parallelism extraction to code generation

Pierre Boulet, Alain Darte, Georges-André Silber, Frédéric Vivien

Journal:

Parallel Computing

Year:

1998

Language:

english

File:

PDF, 351 KB

english, 1998

10

New Complexity Results on Array Contraction and Related Problems

Alain Darte, Guillaume Huard

Journal:

Journal of Signal Processing Systems

Year:

2005

Language:

english

File:

PDF, 786 KB

english, 2005

11

Regular partitioning for synthesizing fixed-size systolic arrays

Journal:

Integration, the VLSI Journal

Year:

1991

Language:

english

File:

PDF, 521 KB

english, 1991

12

Loop Shifting for Loop Compaction

Alain Darte, Guillaume Huard

Journal:

International Journal of Parallel Programming

Year:

2000

Language:

english

File:

PDF, 348 KB

english, 2000

13

On the Removal of Anti- and Output-Dependences

Pierre-Yves Calland, Alain Darte, Yves Robert, Frédéric Vivien

Journal:

International Journal of Parallel Programming

Year:

1998

Language:

english

File:

PDF, 410 KB

english, 1998

14

[IEEE International Symposium on Code Generation and Optimization (CGO'07) - San Jose, CA, USA (2007.03.11-2007.03.14)] International Symposium on Code Generation and Optimization (CGO'07) - On the Complexity of Register Coalescing

Bouchez, Florent, Darte, Alain, Rastello, Fabrice

Year:

2007

Language:

english

File:

PDF, 270 KB

english, 2007

15

[IEEE 2010 21st IEEE International Conference on Application-specific Systems, Architectures and Processors (ASAP) - Rennes, France (2010.07.7-2010.07.9)] ASAP 2010 - 21st IEEE International Conference on Application-specific Systems, Architectures and Processors - Optimizing DDR-SDRAM communications at C-level for automatically-generated hardware accelerators an experience with the Altera C2H HLS tool

Alias, Christophe, Darte, Alain, Plesco, Alexandra

Year:

2010

Language:

english

File:

PDF, 100 KB

english, 2010

16

[IEEE 2007 IEEE International Conf. on Application-specific Systems, Architectures and Processors - Montreal, QC, Canada (2007.07.9-2007.07.11)] 2007 IEEE International Conf. on Application-specific Systems, Architectures and Processors (ASAP) - Scheduling Register-Allocated Codes in User-Guided High-Level Synthesis

Darte, Alain, Quinson, Clement

Year:

2007

Language:

english

File:

PDF, 411 KB

english, 2007

17

ON THE OPTIMALITY OF ALLEN AND KENNEDY'S ALGORITHM FOR PARALLELISM EXTRACTION IN NESTED LOOPS

DARTE, ALAIN, VIVIEN*†, FRÉDÉRIC

Journal:

Parallel Algorithms and Applications

Year:

1997

Language:

english

File:

PDF, 851 KB

english, 1997

18

[IEEE 2010 8th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010) - Grenoble, France (2010.07.26-2010.07.28)] Eighth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010) - Understanding loops: The influence of the decomposition of Karp, Miller, and Winograd

Year:

2010

Language:

english

File:

PDF, 302 KB

english, 2010

19

[IEEE 2013 IEEE 6th International Conference On Software Testing, Verification and Validation Workshops (ICSTW) - Luxembourg, Luxembourg (2013.03.18-2013.03.22)] 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops - Rank: A Tool to Check Program Termination and Computational Complexity

Alias, Christophe, Darte, Alain, Feautrier, Paul, Gonnord, Laure

Year:

2013

Language:

english

File:

PDF, 156 KB

english, 2013

20

[IEEE Conference Publications Design Automation and Test in Europe - Grenoble, France (2013.03.18-2013.03.22)] Design, Automation & Test in Europe Conference & Exhibition (DATE), 2013 - Optimizing Remote Accesses for Offloaded Kernels: Application to High-Level Synthesis for FPGA

Alias, Christophe, Darte, Alain, Plesco, Alexandru

Year:

2013

Language:

english

File:

PDF, 591 KB

english, 2013

21

ON THE ALIGNMENT PROBLEM

DARTE, ALAIN, ROBERT, YVES

Journal:

Parallel Processing Letters

Year:

1994

Language:

english

File:

PDF, 470 KB

english, 1994

22

A CHARACTERIZATION OF ONE-TO-ONE MODULAR MAPPINGS

DARTE, ALAIN, DION, MICHÈLE, ROBERT, YVES

Journal:

Parallel Processing Letters

Year:

1996

Language:

english

File:

PDF, 583 KB

english, 1996

23

Combining Retiming and Scheduling Techniques for Loop Parallelization and Loop Tiling

Darte, Alain, Silber, Georges-André, Vivien, Frédéric

Journal:

Parallel Processing Letters

Year:

1997

Language:

english

File:

PDF, 1.33 MB

english, 1997

24

[ACM Press the 17th ACM SIGPLAN symposium - New Orleans, Louisiana, USA (2012.02.25-2012.02.29)] Proceedings of the 17th ACM SIGPLAN symposium on Principles and Practice of Parallel Programming - PPoPP '12 - Optimizing remote accesses for offloaded kernels

Alias, Christophe, Darte, Alain, Plesco, Alexandru

Year:

2012

Language:

english

File:

PDF, 396 KB

english, 2012

25

Constructing and exploiting linear schedules with prescribed parallelism

Darte, Alain, Schreiber, Robert, Rau, B. Ramakrishna, Vivien, Frédéric

Journal:

ACM Transactions on Design Automation of Electronic Systems

Year:

2002

Language:

english

File:

PDF, 155 KB

english, 2002

26

[ACM Press the 2008 international conference - Atlanta, GA, USA (2008.10.19-2008.10.24)] Proceedings of the 2008 international conference on Compilers, architectures and synthesis for embedded systems - CASES '08 - Advanced conservative and optimistic register coalescing

Bouchez, Florent, Darte, Alain, Rastello, Fabrice

Year:

2008

Language:

english

File:

PDF, 336 KB

english, 2008

27

[ACM Press the 13th International Workshop - St. Goar, Germany (2010.06.28-2010.06.29)] Proceedings of the 13th International Workshop on Software & Compilers for Embedded Systems - SCOPES '10 - Parallel copy motion

Bouchez, Florent, Colombet, Quentin, Darte, Alain, Rastello, Fabrice, Guillon, Christophe

Year:

2010

Language:

english

File:

PDF, 298 KB

english, 2010

28

[ACM Press the 14th international conference - Taipei, Taiwan (2011.10.09-2011.10.14)] Proceedings of the 14th international conference on Compilers, architectures and synthesis for embedded systems - CASES '11 - Studying optimal spilling in the light of SSA

Colombet, Quentin, Brandner, Florian, Darte, Alain

Year:

2011

Language:

english

File:

PDF, 687 KB

english, 2011

29

SSI Properties Revisited

Boissinot, Benoit, Brisk, Philip, Darte, Alain, Rastello, Fabrice

Journal:

ACM Transactions on Embedded Computing Systems

Year:

2012

Language:

english

File:

PDF, 345 KB

english, 2012

30

[ACM Press the international conference - San Jose, California, USA (2003.10.30-2003.11.01)] Proceedings of the international conference on Compilers, architectures and synthesis for embedded systems - CASES '03 - Lattice-based memory allocation

Darte, Alain, Schreiber, Rob, Villard, Gilles

Year:

2003

Language:

english

File:

PDF, 358 KB

english, 2003

31

[ACM Press the tenth ACM SIGPLAN symposium - Chicago, IL, USA (2005.06.15-2005.06.17)] Proceedings of the tenth ACM SIGPLAN symposium on Principles and practice of parallel programming - PPoPP '05 - A linear-time algorithm for optimal barrier placement

Darte, Alain, Schreiber, Robert

Year:

2005

Language:

english

File:

PDF, 236 KB

english, 2005

32

[ACM Press the 10th international conference - Philadelphia, Pennsylvania, United States (1996.05.25-1996.05.28)] Proceedings of the 10th international conference on Supercomputing - ICS '96 - A new guaranteed heuristic for the software pipelining problem

Calland, Pierre-Yves, Darte, Alain, Robert, Yves

Year:

1996

Language:

english

File:

PDF, 872 KB

english, 1996

33

REVISITING THE DECOMPOSITION OF KARP, MILLER AND WINOGRAD

DARTE, ALAIN, VIVIEN, FRÉDÉRIC

Journal:

Parallel Processing Letters

Year:

1995

Language:

english

File:

PDF, 584 KB

english, 1995

34

Parallelizing Nested Loops with Approximation of Distance Vectors: A Survey

Darte, Alain, Vivien, Frédéric

Journal:

Parallel Processing Letters

Year:

1997

Language:

english

File:

PDF, 1.10 MB

english, 1997

35

On the complexity of spill everywhere under SSA form

Bouchez, Florent, Darte, Alain, Rastello, Fabrice

Journal:

ACM SIGPLAN Notices

Year:

2007

Language:

english

File:

PDF, 243 KB

english, 2007

36

Bee+Cl@k

Alias, Christophe, Baray, Fabrice, Darte, Alain

Journal:

ACM SIGPLAN Notices

Year:

2007

Language:

english

File:

PDF, 373 KB

english, 2007

37

Optimizing remote accesses for offloaded kernels

Alias, Christophe, Darte, Alain, Plesco, Alexandru

Journal:

ACM SIGPLAN Notices

Year:

2012

Language:

english

File:

PDF, 396 KB

english, 2012

38

LINEAR SCHEDULING IS NEARLY OPTIMAL

DARTE, ALAIN, KHACHIYAN, LEONID, ROBERT, YVES

Journal:

Parallel Processing Letters

Year:

1991

Language:

english

File:

PDF, 345 KB

english, 1991

39

[ACM Press the 25th International Conference - Barcelona, Spain (2016.03.17-2016.03.18)] Proceedings of the 25th International Conference on Compiler Construction - CC 2016 - Extended lattice-based memory allocation

Darte, Alain, Isoard, Alexandre, Yuki, Tomofumi

Year:

2016

Language:

english

File:

PDF, 568 KB

english, 2016

40

Reservation table scheduling: branch-and-bound based optimization vs . integer linear programming techniques

Cherroun, Hadda, Darte, Alain, Feautrier, Paul

Journal:

RAIRO - Operations Research

Year:

2007

Language:

english

File:

PDF, 316 KB

english, 2007

41

[Lecture Notes in Computer Science] The Data Parallel Programming Model Volume 1132 || Automatic parallelization in the polytope model

Perrin, Guy-RenÃ©, Darte, Alain

Year:

1996

File:

PDF, 274 KB

1996

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски